cd/entity/Larch Prover· home› entities› Larch Prover
grep -l @larch prover /news/*.json | wc -l → 1

@Larch Prover

mentions 1 type Person feed RSS
06:59
2026-05-26
en.wikipedia.org
ai-research

Bird–Meertens Formalism

Richard Bird and Lambert Meertens developed the Bird–Meertens formalism (BMF), a calculus for deriving programs from specifications through equational reasoning in functional programming. The formalis…

// co-occurs with top 3 entities
Richard Bird 1 Lambert Meertens 1 IFIP Working Group 2.1 1